theory of computation gate questions